database: data-baseинф) база данных data-base вчт. база данныхdatabaseсущ. база данных базы данных chain ~ вчт. цепная база данныхcomprehensive ~ вчт. многоцелевая база данных corporate ~ вчт. базаданных фирм
theory: 1) теория; Ex: coherent theory последовательная теория Ex: social-science theories социологические теории Ex: general relativity theory общая теория относительности Ex: theory of evolution теория эв
in theory: нареч. теоретически синоним: theoretically
assertional database: база (данных для хранения) утверждений (в экспертных системах)
audit database: база данных технического контроля (для компьютерного управления качеством продукции)
authentication database: идентификационная база данных (серверная база данных, которая содержитсведения, необходимые для отождествления законных пользователей системы)
Yet another approach to graph rewriting, known as determinate graph rewriting, came out of logic and database theory. Еще один подход к переписыванию графов, известный как детерминированное переписывание графов, вышел из логики и теории баз данных.
Methods based on Courcelle's theorem have also been applied to database theory, knowledge representation and reasoning, automata theory, and model checking. Методы, основанные на теореме Курселя, были использованы в теории баз данных, представлении знаний и логических выводов, теории автоматов и проверке моделей.